On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL
نویسندگان
چکیده
Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. In this paper, we propose to use active operations in order to achieve incremental execution of some OCL expressions. Moreover, bidirectionality can also be achieved in non-trivial
منابع مشابه
Efficient OCL-based Incremental Transformations
Active operations have recently been shown to be a possible back-end to implement OCL-based incremental model transformations. However, the scalability of this approach had not been evaluated yet. This paper presents work done to address this issue by leveraging the VIATRA CPS Benchmark. We show that our implementation of the benchmark transformation using the Active Operation Framework scales ...
متن کاملIncremental Evaluation of OCL Constraints
Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effec...
متن کاملAn Incremental DC Algorithm for the Minimum Sum-of-Squares Clustering
Here, an algorithm is presented for solving the minimum sum-of-squares clustering problems using their difference of convex representations. The proposed algorithm is based on an incremental approach and applies the well known DC algorithm at each iteration. The proposed algorithm is tested and compared with other clustering algorithms using large real world data sets.
متن کاملUsing an OCL Impact Analysis Algorithm for View-Based Textual Modelling
The Object Constraint Language (OCL) has become a vital part of many frameworks, tools and languages within model-driven engineering. One such application of OCL is the use for describing rules in concrete syntax definitions. Within the textual modeling framework FURCAS, OCL is extensively used for the definition of lookup and attribution rules. Based on these rules the model which is described...
متن کاملComparative Evaluation of microleakage of Bulk-fill and Posterior Composite Resins Using the Incremental Technique and a Liner in Cl II Restorations
Background and Aim: In recent years there has been a surge in the use of tooth-colored restorations. However, the polymerization shrinkage of these materials can form gaps, resulting in microleakage. This study aimed to compare microleakage by using different materials and techniques. Materials and Methods: In this experimental study, Cl II cavities were prepared on the mesial surfaces of 60 s...
متن کامل